- CTL-Schaltungen
- сущ.
микроэл. логические КМОП-схемы, логические схемы на КМОП-транзисторах
Универсальный немецко-русский словарь. Академик.ру. 2011.
CTL-Schaltungen
Смотреть что такое "CTL-Schaltungen" в других словарях:
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
VHS-Rekorder — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
VTR — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
Video-Recorder — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
Video Cassette Recorder — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
Video Tape Rekorder — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
Videorecorder — VHS Videorekorder VHS Videorekorder offen … Deutsch Wikipedia
